The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Bernhard Beckert Books

Results for Bernhard Beckert

Showing 1 to 6 of 6 results
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by


ISBN 13: 9783540689775

Format: Paperback (658 pages)
Publisher: Springer
Published: 03 Jan 2007

Save for later

 
New : $120.65  
New : $120.65
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) by

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by


ISBN 13: 9783540791232

Format: Paperback (193 pages)
Publisher: Springer
Published: 31 Mar 2008

Save for later

 
New : $72.16  
New : $72.16
Deductive Software Verification – The KeY Book: From Theory to Practice: 10001 (Lecture Notes in Computer Science) Deductive Software Verification – The KeY Book: From Theory to Practice: 10001 (Lecture Notes in Computer Science) by Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Peter H. Schmitt,Mattias Ulbrich

Deductive Software Verification – The KeY Book: From Theory to Practice: 10001 (Lecture Notes in Computer Science)

by Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Peter H. Schmitt,Mattias Ulbrich


ISBN 13: 9783319498119

Format: Paperback (736 pages)
Publisher: Springer
Published: 21 Dec 2016

Save for later

 
New : $120.65  
New : $120.65
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Lecture Notes in Computer Science) Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Lecture Notes in Computer Science) by Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, Bernhard Beckert

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers: 7542 (Lecture Notes in Computer Science)

by Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, Bernhard Beckert


ISBN 13: 9783642358869

Format: Paperback (368 pages)
Publisher: Springer
Published: 03 Jan 2013

Save for later

 
New : $60.40  
New : $60.40
Electronic Voting: 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings: 12455 (Lecture Notes in Computer Science, 12455) Electronic Voting: 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings: 12455 (Lecture Notes in Computer Science, 12455) by Robert Krimmer,Melanie Volkamer,Bernhard Beckert,Ralf Küsters,Oksana Kulyk,David Duenas-Cid,Mihkel Solvak

Electronic Voting: 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings: 12455 (Lecture Notes in Computer Science, 12455)

by Robert Krimmer,Melanie Volkamer,Bernhard Beckert,Ralf Küsters,Oksana Kulyk,David Duenas-Cid,Mihkel Solvak


ISBN 13: 9783030603465

Format: Paperback (239 pages)
Publisher: Springer
Published: 25 Sep 2020

Save for later

 
New : $73.40  
New : $73.40
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360) The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360) by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 13360 (Lecture Notes in Computer Science, 13360)

by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen


ISBN 13: 9783031081651

Format: Paperback (533 pages)
Publisher: Springer
Published: 16 Jun 2022

Save for later

 
New : $97.57  
New : $97.57